翻訳と辞書 |
George E. Collins : ウィキペディア英語版 | George E. Collins George E. Gollins (born January 10, 1928, Stuart, Iowa) is an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting〔George E. Collins: A Method for Overlapping and Erasure of Lists, Commun. ACM, volume 3, number 12, 1960〕 and of the method of quantifier elimination by cylindrical algebraic decomposition.〔 George E. Collins: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Second GI Conf. Automata Theory and Formal Languages, Springer LNCS 33, 1975〕 ==Selected publications==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「George E. Collins」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|